Integration and Its Application of Formal Methods and Visual Models

doi:10.3969/j.issn.1006-2475.2011.03.012

Computer and Modernization ›› 2011, Vol. 1 ›› Issue (3): 44-46,5.doi: 10.3969/j.issn.1006-2475.2011.03.012

• 软件工程 • Previous Articles Next Articles

Integration and Its Application of Formal Methods and Visual Models

WU Shuai¹, MIU Li-jun²

1. Department of Mathematics and Computer, Shangrao Normal College, Shangrao 334001, China;2. Department of Education Science, Shangrao Normal College, Shangrao 334001, China

Received:2010-11-15 Revised:1900-01-01 Online:2011-03-18 Published:2011-03-18

Abstract

Abstract: The thesis represents the features and defects of formal method, analyzes the necessity of importing visual models in the formal development process, provides the process of integration of B-method and UML, which reduces the difficulty of making use of formal method directly, illustrates the application process by a case of automatic teller machine.

Key words: formal method, B-method, unified model language, abstract machine notation, ProB

CLC Number:

TP311

WU Shuai;MIU Li-jun. Integration and Its Application of Formal Methods and Visual Models[J]. Computer and Modernization, 2011, 1(3): 44-46,5.

[1]	GUAN Jin-ping, YANG Jin-ji, YANG Cheng-long. Formal Verification of Raft Protocol Based on Probabilistic Model [J]. Computer and Modernization, 2023, 0(09): 77-81.
[2]	CHEN Gang, WANG Zhi-jian, XU Sheng-chao. Mobile Edge Computing Task Offloading Based on Feasible Point Tracking Continuous#br# Convex Approximation [J]. Computer and Modernization, 2023, 0(08): 93-97.
[3]	WANG Kuo, HAO Fu-zhen. Optimization of Plant Growth Simulation Algorithm for Vehicle Routing Problem with Time Windows [J]. Computer and Modernization, 2022, 0(12): 26-32.
[4]	MAO Ming-yang, XU Sheng-chao. Communication Terminal Attack Behavior Identification Algorithm Based on Trusted Cloud Computing#br# [J]. Computer and Modernization, 2022, 0(11): 37-42.
[5]	HUANG Hong-ping, ZHU Xiao-yong, WANG Zhi-yuan, . Improving Latency and Bandwidth Probe of BBR Congestion Control Algorithm [J]. Computer and Modernization, 2022, 0(10): 113-120.
[6]	LIU Ya-wen, JIANG Yan, PAN Da-zhi. Improved Binary Harmony Search Algorithm for Solving Multidimensional Knapsack Problem [J]. Computer and Modernization, 2022, 0(08): 13-19.
[7]	ZHANG Xiong, PAN Da-zhi, . Ant Colony Algorithm Combining Neighborhood Search Strategy for Vehicle Routing Problem with Time Window [J]. Computer and Modernization, 2022, 0(03): 98-102.
[8]	ZHENG Jie , PAN Da-zhi , . Improved Discrete Firefly Optimization Algorithm to Solve Flexible Job Shop Scheduling Problem [J]. Computer and Modernization, 2021, 0(08): 11-15.
[9]	DONG Yan-hui, XIAO Jun-bi, ZHANG Hong-xia, YANG Yong-jin, JI Zhi-bin. Application System Identification Method Oriented to Unbalanced Datasets [J]. Computer and Modernization, 2021, 0(05): 93-97.
[10]	CHENG Yin-xuan, ZHOU Si-yuan, TAN Guo-ping, ZHANG Zhi, ZHAN Jia-li. Performance Analysis of mmWave Communication via Aerial Large Intelligent Surfaces [J]. Computer and Modernization, 2021, 0(04): 68-73.
[11]	WANG Cheng, CHEN Zheng-ming, LYU Jia. Optimal Algorithm of Remaining Space for 3D Packing Problem of Paperboard [J]. Computer and Modernization, 2021, 0(03): 28-34.
[12]	JIN An-an, DING Shuang-shuang, XIONG Qing-zhi, XU Ting-ting, XI Shu-ping, MA Ji-zhong. Optimization Reconstruction of EPMA Image Based on SWOMP Algorithm [J]. Computer and Modernization, 2020, 0(12): 104-111.
[13]	LIU Bo, WANG Ming-wei. Optimal Relay Selection Cooperative Communication Based on Polarization Diversity Technology with Equal Gain Combining [J]. Computer and Modernization, 2020, 0(10): 122-126.
[14]	WAN Ke. A Carousel Greedy Algorithm for Positive Influence Dominating Set Problem in Social Network [J]. Computer and Modernization, 2020, 0(09): 49-53.
[15]	LIU Jian-feng, . A JPDA Multi-sensor Data Fusion Method for Association Probability Weighting [J]. Computer and Modernization, 2020, 0(08): 31-40.

Integration and Its Application of Formal Methods and Visual Models

Knowledge

Abstract

Cite this article

share this article

References

Related Articles 15

Recommended Articles

Metrics

Comments